Functional languages - PDFSEARCH.IO - Document Search Engine

Functional languages
Results: 3400

#	Item
491	PDF Document Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-02-28 14:55:06 Type theory Functional languages Type systems Procedural programming languages Lambda calculus Type inference Monad ML HindleyMilner type system Functional programming Parallel computing Unification
492	PDF Document Add to Reading List Source URL: code.ouroborus.net Language: English - Date: 2012-10-16 08:55:47 Software engineering Computing Computer programming Data types Compiler construction Compilers LLVM Functional languages Const Aliasing Immutable object Haskell
493	Graphics System (GS) Copyright © Ericsson AB. All Rights Reserved. Graphics System (GS) 1.6 June 23, 2015 Copyright © Ericsson AB. All Rights Reserved. Add to Reading List Source URL: www.erlang.org Language: English Functional languages Object-oriented programming Object Erlang Software engineering Computing Computer programming
494	Hadoop + Clojure Hadoop World NYC Friday, October 2, 2009 Stuart Sierra, AltLaw.org JVM Languages Add to Reading List Source URL: stuartsierra.com Language: English - Date: 2009-10-02 17:49:53 Cross-platform software Functional languages Lisp programming language Clojure Lisp Java Main function Constructor Symbol Computing Software engineering Computer programming
495	Handling Non-Functional Requirements in Model-Driven Development: An Ongoing Industrial Survey David Ameller∗ , Xavier Franch∗ , Cristina G´omez∗ , Joao Richard Berntsson Svensson‡ , Stefan Biffl§ , Jordi Cabot Add to Reading List Source URL: modeling-languages.com Language: English - Date: 2015-06-08 08:44:40
496	BRICS RSBiernacki et al.: On the Dynamic Extent of Delimited Continuations BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-04-29 09:58:56 Continuations Control flow Subroutines Delimited continuation Functional languages Call-with-current-continuation Standard ML ConTeXt Tree traversal Software engineering Computing Computer programming
497	Nav and Control Software RevComments/corrections to Alex Brown The Nav and Control software provides several functions for the Leaf robots: communications with the microcontroller; receiving data Add to Reading List Source URL: www.leafproject.org Language: English - Date: 2010-01-13 10:51:52 Functional languages Lisp programming language Embedded systems Lisp Robotics Forth Microcontroller Batch file Logo Computing Software engineering Programming language theory
498	BRICS Basic Research in Computer Science BRICS DS-01-4 M. Rhiger: Higher-Order Program Generation Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-01-08 09:02:48 Functional languages Type theory Data types Lambda calculus Logic in computer science Type system ML OCaml Partial evaluation Software engineering Programming language theory Computing
499	Scope Chapter Ten Modern Programming Languages, 2nd ed. Add to Reading List Source URL: www.webber-labs.com Language: English - Date: 2010-08-18 22:43:41 Procedural programming languages Functional languages Cross-platform software Subroutines Scope Data types Namespace Variable C Software engineering Computing Programming language theory
500	Retro dataflow: Accomplishments of the Sisal Language Project Pat Miller1 John Feo2 Tom Deboni3 Add to Reading List Source URL: www.nersc.gov Language: English - Date: 2012-02-04 21:05:42 SISAL Models of computation Computer architecture Supercomputers Parallel computing Dataflow Vector processor Assignment Cray-2 Computing Software engineering Functional languages

UPDATE